#include <iostream>

using namespace std;

int main() {
    int x;
    cin >> x;
    if (x == 61) cout << "Brasilia" << endl;
    else if (x == 71) cout << "Salvador" << endl;
    else if (x == 11) cout <<"Sao Paulo" << endl;
    else if (x == 21) cout <<"Rio de Janeiro" << endl;
    else if (x == 32) cout <<"Juiz de Fora" << endl;
    else if (x == 19) cout <<"Campinas" << endl;
    else if (x == 27) cout <<"Vitoria" << endl;
    else if (x == 31) cout <<"Belo Horizonte" << endl;
    else cout << "DDD nao cadastrado" << endl;

    return 0;
}
